-
1 логическое исчисление
Большой англо-русский и русско-английский словарь > логическое исчисление
-
2 logical calculus
Большой англо-русский и русско-английский словарь > logical calculus
-
3 logical calculus
-
4 logical calculus
логическое исчислениеEnglish-Russian dictionary of technical terms > logical calculus
-
5 logical calculus
English-Russian dictionary of computer science > logical calculus
-
6 calculus
̈ɪˈkælkjuləs I сущ.;
мн. -li;
мед. камень bladder calculi ≈ камни в мочевом пузыре Syn: stone II сущ.;
мн. -es, -li;
мат. исчисление differential calculus ≈ дифференциальное исчисление integral calculus ≈ интегральное исчисление Syn: calculation (математика) исчисление - the (differential) * дифференциальное исчисление - * of probabilities исчисление вероятностей - * of variation вариационное исчисление калькуляция (медицина) камень (почечный, желчный) calculus (pl -es) мат. исчисление;
differential calculus дифференциальное исчисление ~ исчисление ~ калькуляция ~ (pl -li) мед. камень ~ of probability теория вероятностей ~ of variations вариационное исчисление certainty ~ исчисление достоверности calculus (pl -es) мат. исчисление;
differential calculus дифференциальное исчисление extended ~ расширенное исчисление first order predicate ~ исчисление предикатов первого порядка frame ~ исчисление фреймов integral ~ интегральное исчисление lambda ~ лямбда-исчисление logical ~ логическое исчисление predicate ~ исчисление предикатов program ~ исчисление программ propositional ~ исчисление высказываний relational ~ реляционное исчисление sentential ~ исчисление высказываний situational ~ ситуационное исчислениеБольшой англо-русский и русско-английский словарь > calculus
-
7 calculus
[̈ɪˈkælkjuləs]calculus (pl -es) мат. исчисление; differential calculus дифференциальное исчисление calculus исчисление calculus калькуляция calculus (pl -li) мед. камень calculus of probability теория вероятностей calculus of variations вариационное исчисление certainty calculus исчисление достоверности calculus (pl -es) мат. исчисление; differential calculus дифференциальное исчисление extended calculus расширенное исчисление first order predicate calculus исчисление предикатов первого порядка frame calculus исчисление фреймов integral calculus интегральное исчисление lambda calculus лямбда-исчисление logical calculus логическое исчисление predicate calculus исчисление предикатов program calculus исчисление программ propositional calculus исчисление высказываний relational calculus реляционное исчисление sentential calculus исчисление высказываний situational calculus ситуационное исчисление -
8 logical calculus
Компьютерная техника: логическое исчисление -
9 logical calculus
См. также в других словарях:
ЛОГИЧЕСКОЕ ИСЧИСЛЕНИЕ — см. Логистика. Философский энциклопедический словарь. 2010. ЛОГИЧЕСКОЕ ИСЧИСЛЕНИЕ исчисление ( … Философская энциклопедия
ЛОГИЧЕСКОЕ ИСЧИСЛЕНИЕ — исчисление, символы и правила которого могут быть интерпретированы в терминах логики … Большой Энциклопедический словарь
логическое исчисление — исчисление, символы и правила которого могут быть интерпретированы в терминах логики. * * * ЛОГИЧЕСКОЕ ИСЧИСЛЕНИЕ ЛОГИЧЕСКОЕ ИСЧИСЛЕНИЕ, исчисление, символы и правила которого могут быть интерпретированы в терминах логики … Энциклопедический словарь
Логическое исчисление — Исчисление (формальная система), интерпретируемое в терминах какого либо фрагмента дедуктивной логики (См. Логика). Различные Л. и. служат базой для построения более богатых «нелогических» (например, математических) теорий. Примерами Л. и … Большая советская энциклопедия
ЛОГИЧЕСКОЕ ИСЧИСЛЕНИЕ — исчисление, символы и правила к рого могут быть интерпретированы в терминах логики … Естествознание. Энциклопедический словарь
Логическое исчисление — В этой статье не хватает ссылок на источники информации. Информация должна быть проверяема, иначе она может быть поставлена под сомнение и удалена. Вы можете … Википедия
ИСЧИСЛЕНИЕ ПРЕДИКАТОВ — раздел математической логики, логическое исчисление, в алфавит знаков которого, помимо символов исчисления высказываний, входят также символы вещей (индивидов), их свойств и отношений, а также выражений все и некоторые (кванторы), позволяющие… … Большой Энциклопедический словарь
исчисление предикатов — раздел математической логики, логическое исчисление, в алфавит знаков которого, помимо символов исчисления высказываний, входят также символы вещей (индивидов), их свойств и отношений, а также выражений «все» и «некоторые» (кванторы), позволяющие … Энциклопедический словарь
Исчисление (значения) — В математике термином «исчисление» обозначаются разные области знаний, а также формальные теории (множества формул, полученных из аксиом с помощью правил вывода). Дифференциальное исчисление Интегральное исчисление Вариационное исчисление… … Википедия
ЛОГИЧЕСКОЕ И ИСТОРИЧЕСКОЕ — см. Историческое и логическое. Философский энциклопедический словарь. М.: Советская энциклопедия. Гл. редакция: Л. Ф. Ильичёв, П. Н. Федосеев, С. М. Ковалёв, В. Г. Панов. 1983. ЛОГИЧЕСКОЕ И ИСТОРИЧЕСКОЕ … Философская энциклопедия
ИСЧИСЛЕНИЕ ЛОГИЧЕСКОЕ — исчисление, символы и правила которого могут быть интерпретированы в терминах логики. Любое исчисление представляет собой знаковую систему, которая, как чисто синтаксическая структура, однозначно определяется двумя порождающими процедурами: 1)… … Современный философский словарь